Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
221	PDF Document Add to Reading List Source URL: www.sscnet.ucla.edu Language: English - Date: 2002-08-08 18:56:28 Formal systems Concepts Mathematical logic Axiomatic system Axiom Mathematical proof Complexity Theory Economic model Mathematics Logic Structure
222	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:35 Synchronous programming languages Formal methods Technology Software Lustre Cockpit display system Esterel Technologies Software development Hardware description languages
223	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Programming language theory Type theory Data types Formal methods Polymorphism Subtype polymorphism Immutable object Type system Model theory Software engineering Computing Object-oriented programming
224	ICASSP 2013 EDICS 1: Audio and Acoustic Signal Processing 1.1: Room Acoustics and Acoustic System Modeling 1.2: Transducers 1.3: Loudspeaker and Microphone Array Signal Processing 1.4: Active Noise Control Add to Reading List Source URL: www.signalprocessingsociety.org Language: English - Date: 2015-02-12 15:43:02 Radio resource management Technology Formal sciences Media technology Signal processing Computer vision Multi-user MIMO Smart antenna MIMO Telecommunications engineering Electronic engineering Information theory
225	MIMIC – “Minimizing risks of maritime oil transport by holistic safety strategies” (CB 38) Open Days seminar, Tallinn, 3 October 2012 The Concept of Smart Response integrating the safety and security R. Aps Add to Reading List Source URL: www.merikotka.fi Language: English - Date: 2014-02-27 09:10:08 Formal methods Systems engineering Dependability Life-critical system Computer security Security Prevention Safety
226	sd_-_10%_Un-Buffered_Formal_Saline_(IE) Add to Reading List Source URL: www.serosep.com Language: English - Date: 2013-04-24 12:12:31 Documents Toxicology Environmental law Safety engineering Globally Harmonized System of Classification and Labelling of Chemicals Material safety data sheet Chemical safety assessment Dangerous goods Datasheet Safety Occupational safety and health Health
227	sd10-B-FOR-SAL-_-_Buffered_Formal_Saline_(IE) Add to Reading List Source URL: www.serosep.com Language: English - Date: 2013-04-24 12:12:36 Documents Hazard analysis Toxicology Environmental law Safety engineering Globally Harmonized System of Classification and Labelling of Chemicals Chemical safety assessment Dangerous goods Material safety data sheet Safety Occupational safety and health Health
228	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
229	Contents EUROPEAN UNION EUROPEAN REGIONAL DEVELOPMENT FUND Add to Reading List Source URL: www.ntis.zcu.cz Language: English - Date: 2012-08-18 15:14:49 Systems theory Systems science Control theory Automation Systems engineering National Technical Information Service Electrical engineering Control system Data mining Control engineering Formal sciences Science
230	SureView® Analytics Security Operations Incident response investigative intelligence enterprise application rapidly mitigates the costs and risks of breaches with a low total cost Add to Reading List Source URL: www.raytheoncyber.com Language: English - Date: 2015-04-19 23:42:34 Statistics Data management Natural language processing Statistical natural language processing Formal sciences Analytics Text analytics Text mining Geographic information system Science Data analysis Business intelligence

UPDATE